1521. Principia mathematica
پدیدآورنده : Alfred North Whitehead,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Mathematics,Mathematics- Philosophy,Logic, Symbolic and mathematical
رده :
QA
.
W59
9
1522. Principia mathematica
پدیدآورنده : Whitehead, Alfred North
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Mathematics,Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA9
.
W5
1927
1523. Principia mathematica, to *56
پدیدآورنده : by Alfred North Whitehead and Bertrand Russell,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical
رده :
QA
.
W52
9
1967
1524. Principia mathematica to *56
پدیدآورنده : Whitehead, Alfred North
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
W52
1525. Principia mathematica, to *56
پدیدآورنده : Whitehead, Alfred North
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA9
.
W52
1997
1526. Principia mathematica, to *56
پدیدآورنده : By Alfred North Whitehead and Bertrand Russell
موضوع : Mathematics--Philosophy.,Logic, Symbolic and mathematical.
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
1527. Principia mathematica : to * 56
پدیدآورنده : Whitehead, Alfred North, 1681-7491
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
QA
9
.
W5
1927
1528. Principia mathematica, to 56
پدیدآورنده : / by Alfred North Whitehead and Bertrand Russell
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical
رده :
QA9
.
W54
1978
1529. Principia mathematica, to *56
پدیدآورنده : Whitehead, Alfred North
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
W52
1997
1530. Principia mathematical
پدیدآورنده : / Alfred North Whitehead and Bertrand Russell
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Logic, symbolic and mathematical,Mathematics
رده :
511
.
3
Wh-P
1531. Principles of intuitionism :
پدیدآورنده : A. S. Troelstra.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Intuition.,Logic, Symbolic and mathematical.
1532. Principles of intuitionism
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: (طهران)
موضوع : ، Intuition,، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
95
1533. Principles of intuitionism
پدیدآورنده : Trolstra, Anne Sjerp
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Intuition,، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
95
1534. Principles of logic and logic programming /
پدیدآورنده : G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Programmation logique.,COMPUTERS-- Programming Languages-- General.,Logic programming.,Logic, Symbolic and mathematical.,Logisch programmeren.
رده :
QA76
.
63
.
M473
1996eb
1535. Principles of mathematical logic
پدیدآورنده : Hilbert, David
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
H514
1536. Principles of mathematical logic
پدیدآورنده : Hilbert, David, 2681-3491
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
H55G7813
1537. Principles of mathematical logic
پدیدآورنده : / by D. Hilbert and W. Ackermann
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Logic, Symbolic and mathematical
رده :
BC135
.
H514
1538. Principles of mathematical logic
پدیدآورنده : Hilbert, David,2681-3491., D. Hilbert and W. Ackermann
موضوع : ، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
1539. Probabilistic Logics and Probabilistic Networks
پدیدآورنده : / by Rolf Haenni ... [et al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Probabilities,Mathematical statistics,Logic, Symbolic and mathematical
رده :
QA273
.
P795
2011
1540. Probabilistic extensions of various logical systems
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
